Strongly continuous posets and the local Scott topology

Quantale-valued fuzzy Scott topology

The aim of this paper is to extend the truth value table oflattice-valued convergence spaces to a more general case andthen to use it to introduce and study the quantale-valued fuzzy Scotttopology in fuzzy domain theory. Let $(L,*,varepsilon)$ be acommutative unital quantale and let $otimes$ be a binary operationon $L$ which is distributive over nonempty subsets. The quadruple$(L,*,otimes,varep...

A note on topology of Z-continuous posets

Z-continuous posets are common generalizations of continuous posets, completely distributive lattices, and unique factorization posets. Though the algebraic properties of Z-continuous posets had been studied by several authors, the topological properties are rather unknown. In this short note an intrinsic topology on a Z-continuous poset is de ned and its properties are explored.

Strongly Signable and Partitionable Posets

The class of Strongly Signable partially ordered sets is introduced and studied. It is show that strong signability, reminiscent of Björner–Wachs’ recursive coatom orderability, provides a useful and broad sufficient condition for a poset to be dual CR and hence partitionable. The flag h-vectors of strongly signable posets are therefore non-negative. It is proved that recursively shellable pose...

The Scott Topology . Part II

The following propositions are true: (1) Let X be a set and F be a finite family of subsets of X. Then there exists a finite family G of subsets of X such that G ⊆ F and ⋃ G = ⋃ F and for every subset g of X such that g ∈ G holds g 6⊆ ⋃ (G \ {g}). (2) Let S be a 1-sorted structure and X be a subset of the carrier of S. Then −X = the carrier of S if and only if X is empty. (3) Let R be an antisy...

Formal Topology with Posets